nested quantifier discrete mathematics